Dilution effects in Ho2−x_{2-x}Yx_xSn2_2O7_7: from the Spin Ice to the single-ion magnet

A study of the modifications of the magnetic properties of Ho$_{2-x}$Y$_x$Sn$_2$O$_7$ upon varying the concentration of diamagnetic Y$^{3+}$ ions is presented. Magnetization and specific heat measurements show that the Spin Ice ground-state is only weakly affected by doping for $x\leq 0.3$, even if non-negligible changes in the crystal field at Ho$^{3+}$ occur. In this low doping range $\mu$SR relaxation measurements evidence a modification in the low-temperature dynamics with respect to the one observed in the pure Spin Ice. For $x\to 2$, or at high temperature, the dynamics involve fluctuations among Ho$^{3+}$ crystal field levels which give rise to a characteristic peak in $^{119}$Sn nuclear spin-lattice relaxation rate. In this doping limit also the changes in Ho$^{3+}$ magnetic moment suggest a variation of the crystal field parameters.Comment: 4 pages, 5 figures, proceedings of HFM2008 Conferenc

Understanding SOA Migration Using a Conceptual Framework

Migration of legacy assets to SOA embodies a key software engineering challenge. Over a decade there has been an increasing interest in the approaches addressing SOA migration. These approaches mainly differ in `what is migrated' and `how the migration is performed'. Such differences aggravate achieving a general understanding of `what SOA migration entails'. We describe what such migration process entails and what distinct conceptual elements systematically define the process. Based on the comprising conceptual elements the framework which is considered as a basis for understanding and assessment of different approaches is proposed. Further, the role of the migration framework in positioning and assessing the existing methods, is discussed. Finally, the procedure for positioning and mapping of migration approaches on the framework is explained using two example migration processes

Insect (Arthropoda: Insecta) Composition in the Diet of Ornate Box Turtles (Terrapene ornata ornata) in Two Western Illinois Sand Prairies, with a New State Record for Cyclocephala (Coleoptera: Scarabaeidae)

A study of fecal samples collected over a two-year period from juvenile ornate box turtles (Terrapene ornata ornata Agassiz) revealed diets consisting of six orders of insects representing 19 families. Turtles were reared in captivity from eggs harvested from local, wild populations, and released at two remnant prairies. Identifiable insect fragments were found in 94% of samples in 2013 (n=33) and 96% in 2014 (n=25). Frequency of occurrence of insects in turtle feces is similar to results reported in previous studies of midwestern Terrapene species. A comparison of insect composition presented no significant difference between release sites. There is no significant difference in consumed insect species between turtles released into or outside of a fenced enclosure at the same site. Specimens of Cyclocephala longula LeConte collected during this study represent a new state record for Illinois

John Capgrave e Margery Kempe a Roma. Immagini della città a confronto

The study compares the images of the city of Rome emerging from two nearly coeval beautiful works by two important literary figures both native of King's Lynn, Norfolk: the mystic Margery Kempe and the Augustinian friar John Capgrave. While belonging to the genre of travel literature, The Book of Margery Kempe does not contain any description of the places visited by the author, but focuses on her mystical experiences, her actions and her relations with others. As the rest of the work, also the chapters describing her pilgrimage to and stay in Rome are therefore populated by numerous figures belonging to the author’s contemporaneity. Ye Solace of Pilgrimes is instead characterized by the typical structure and contents of medieval guides of Rome at their last stage of processing and transmits an image of the city which is strictly connected to its historical and mythical past. The description of medieval Rome and its inhabitants is therefore completely missing. Though conveying very different images of the city, the two works show a profound complementarity: however partial and different from each other they might be, by juxtaposing, or, better, superimposing the two images, one can get a picture of Fifteenth-Century Rome which turns out to be more vivid and, therefore, closer to reality

Guiding the selection of service-oriented software engineering methodologies

Service-oriented computing is a paradigm for effectively delivering software services in a dynamic environment. Accordingly, many service-oriented software engineering (SOSE) methodologies have been proposed and practiced in both academia and industry. Some of these methodologies share common features (e. g. cover similar life-cycle phases) but are presented for different purposes, ranging from project management to system modernization, and from business analysis to technical solutions development. Given this diversity in the methodologies available in the literature, it is very hard for a company to decide which methodology would fit best for its specific needs. With this aim, we took a feature analysis approach and devised a framework for comparing the existing SOA methodologies. Different from existing comparison frameworks, ours specifically highlights aspects that are specific to SOA and aims to differentiate the methodologies that are truly service-oriented from those that deal little with service aspects. As such, the criteria defined in the framework can be used as a checklist for selecting a SOSE methodology. © 2011 The Author(s)

Software Sustainability Assessment (SoSA) exercise report

This document reports on an exercise carried out within the CAiSE 2016 tutorial. The participants were asked to apply the SoSA method on a case, divided into three distinct groups. Then they were asked to provide feedback on the method. Herein, we analyse the results of their models, their feedback and we discuss benefits and drawbacks of the method

On paths-based criteria for polynomial time complexity in proof-nets

Girard's Light linear logic (LLL) characterized polynomial time in the proof-as-program paradigm with a bound on cut elimination. This logic relied on a stratification principle and a "one-door" principle which were generalized later respectively in the systems L^4 and L^3a. Each system was brought with its own complex proof of Ptime soundness. In this paper we propose a broad sufficient criterion for Ptime soundness for linear logic subsystems, based on the study of paths inside the proof-nets, which factorizes proofs of soundness of existing systems and may be used for future systems. As an additional gain, our bound stands for any reduction strategy whereas most bounds in the literature only stand for a particular strategy.Comment: Long version of a conference pape